Formally Validated of Novel Tolling Service With the ITS-G5

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

wuthering heights and the concept of marality/a sociological study of the novel

to discuss my point, i have collected quite a number of articles, anthologies, and books about "wuthering heights" applying various ideas and theories to this fantastic story. hence, i have come to believe that gadamer and jauss are rightful when they claim that "the individaul human mind is the center and origin of all meaning," 3 that reading literature is a reader-oriented activity, that it ...

15 صفحه اول

the study of aaag repeat polymorphism in promoter of errg gene and its association with the risk of breast cancer in isfahan region

چکیده: سرطان پستان دومین عامل مرگ مرتبط با سرطان در خانم ها است. از آنجا که سرطان پستان یک تومور وابسته به هورمون است، می تواند توسط وضعیت هورمون های استروئیدی شامل استروژن و پروژسترون تنظیم شود. استروژن نقش مهمی در توسعه و پیشرفت سرطان پستان ایفا می کند و تاثیر خود را روی بیان ژن های هدف از طریق گیرنده های استروژن اعمال می کند. اما گروه دیگری از گیرنده های هسته ای به نام گیرنده های مرتبط به ا...

15 صفحه اول

the survey of the virtual higher education in iran and the ways of its development and improvement

این پژوهش با هدف "بررسی وضعیت موجود آموزش عالی مجازی در ایران و راههای توسعه و ارتقای آن " و با روش توصیفی-تحلیلی و پیمایشی صورت پذیرفته است. بررسی اسنادو مدارک موجود در زمینه آموزش مجازی نشان داد تعداد دانشجویان و مقاطع تحصیلی و رشته محل های دوره های الکترونیکی چندان مطلوب نبوده و از نظر کیفی نیز وضعیت شاخص خدمات آموزشی اساتید و وضعیت شبکه اینترنت در محیط آموزش مجازی نامطلوب است.

the present study is a survey os postmodern historical novel with respect to the voice of women. it argues how the recorded history is regulated by the rules of power and how women have been excluded from this discourse.ther study analysez angela carters nights at the circus as an example of postmodern historical novel to illustrate how this novel has questioned the historical narrative and how it has inserted women into history by breaking the rules of patriarchy.

the present thesis is a study of postmodern historical novel with respect to the voice of women. according to postmodern historiography,the established institution of history is one of the other manifestations of patriarchys power which has silenced women. the study analyzes angela carters nights at the circus as a postmodern historical novel which makes its female characters transgress the pat...

15 صفحه اول

Achieving Fault Tolerance by a Formally Validated Interaction Policy

This paper addresses the rigorous validation of an integrity policy by means of the application of formal methods and related support tools. We show how the policy, which provides a flexible fault tolerant schema, can be specified using a process algebra and verified using model checking techniques. Actually, we show how this approach allows both the generic validation of a middleware based on ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: IEEE Access

سال: 2019

ISSN: 2169-3536

DOI: 10.1109/access.2019.2906046